1. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
2. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
3. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Electronic digital computers- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. Programming in POP-2
پدیدآورنده : Burstall, Rod M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، POP )Computer program language(,، Electronic digital computers - Programming
رده :
QA
76
.
5
.
B85
